(0 16 13)(1 17 8)(2 11 9)(3 14 6)(4 15 10)(5 12 7)
ALLOWS (11/8)-SEQUENCE
1: (4 10 15)
(0 16 13)(1 17 8)(2 11 9)(3 14 6)(4 10 15)(5 12 7)
2: (3 14 6)
(0 16 13)(1 17 8)(2 11 9)(3)(4 10 15)(5 12 7)(6)(14)
3: (4 10 15)
(0 16 13)(1 17 8)(2 11 9)(3)(4)(5 12 7)(6)(10)(14)(15)
4: (5 12 7)
(0 16 13)(1 17 8)(2 11 9)(3)(4)(5)(6)(7)(10)(12)(14)(15)